\section{Cahier des charges}

Au cours de notre formation d'IA41 il nous a été demandé de réalisé en projet un force 3.

\subsection{Contexte}

Le force 3 est une combinaison de deux jeux plus connus :

\begin{itemize}
	\item Le Tic-Tac-Toe
	\item Le Taquin
\end{itemize}

Édité en 1982 par Ravensburger, le force3 est un jeu de stratégie combinatoire abstrait.
Il s'agit d'aligner trois pions et on peut déplacer un pion d'une case contigüe ainsi que déplacer la case du taquin.

\image{forc3_01}{Couverture du jeu de Ravensburger édité en 1982}{0.7}

L'objectif de notre UV était d'apprendre la logique des programmes d'intelligence artificielle.
Le but de se projet était de mettre en œuvre une solution logicielle en Prolog permettant au joueur de jouer contre l'ordinateur.

Il y avait donc trois parties à ce projet :
\begin{itemize}
	\item La modélisation du jeu et la mise en place d'un programme permettant de déterminer le meilleur coup dans la liste des coups possibles.
	\item La réalisation d'une interface graphique permettant au joueur d'affronter l'ordinateur.
	\item La mise en place d'un contrôleur permettant de lier l'interface Prolog du joueur IA et l'interface graphique du joueur Humain.
\end{itemize}

\subsection{Fonctionnement interne}

L'intelligence artificielle devait être codée en Prolog.
Pour l'interface graphique, nous avions le choix.
Étant donné que nous commencions un nouveau projet, nous avons choisi de le réaliser en C++ et Qt de manière à la rendre multi-plateforme.

Le programme devait permettre de jouer contre l'ordinateur en respectant les règles du force3 de Ravensburger.

